Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers
نویسندگان
چکیده
منابع مشابه
Design of nonblocking modular supervisors using event priority functions
A new scheme for the modular control of discrete event systems is presented and studied. This scheme, called modular control with priorities (MCP), is an extension of earlier works on modular control in the realm of the supervisory control theory of discrete event systems. The key feature of this scheme is the use of a priority mechanism based on the priority functions of individual supervisors...
متن کاملa comparison of teachers and supervisors, with respect to teacher efficacy and reflection
supervisors play an undeniable role in training teachers, before starting their professional experience by preparing them, at the initial years of their teaching by checking their work within the proper framework, and later on during their teaching by assessing their progress. but surprisingly, exploring their attributes, professional demands, and qualifications has remained a neglected theme i...
15 صفحه اولsingle-step synthesis of multi-component spirobarbiturates using ionic liquids and synthesis of substituted pyridine filled with catalysts supported on solid substrate
in this thesis, a better reaction conditions for the synthesis of spirobarbiturates catalyzed by task-specific ionic liquid (2-hydroxy-n-(2-hydroxyethyl)-n,n-dimethylethanaminium formate), calcium hypochlorite ca(ocl)2 or n-bromosuccinimide (nbs) in the presence of water at room temperature by ultrasonic technique is provided. the design and synthesis of spirocycles is a challenging task becaus...
15 صفحه اولCompositional Synthesis of Discrete Event Systems via Synthesis Equivalence
A two-pass algorithm for compositional synthesis of modular supervisors for largescale systems of composed finite-state automata is proposed. The first pass provides an efficient method to determine whether a supervisory control problem has a solution, without explicitly constructing the synchronous composition of all components. If a solution exists, the second pass yields an over-approximatio...
متن کاملDesigning Least-Cost Nonblocking Broadband Networks
Integrated network technologies, such as ATM, support multimedia applications with vastly diierent bandwidth needs, connection request rates, and holding patterns. Due to their high level of exibility and communication rates approaching several gigabits per second, the classical network planning techniques, which rely heavily on statistical analysis, are less relevant to this new generation of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2021.04.020